axiomatic system
英 [ˌæksiəˈmætɪk ˈsɪstəm]
美 [ˌæksiəˈmætɪk ˈsɪstəm]
公理系统
双语例句
- And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。 - Some scholars believe that Shi Bie Za Ji ( Notes on Discernment) of Li Yes Ce Yuan Hai Jing ( Sea Mirror Of Circle Measurements) is a perfect axiomatic system, and it cant be reached only from data.
有学者认为，李冶《测圆海镜》识别杂记是完美的公理化体系，《识别杂记》不可能是按照数据拼凑出来的。 - It has been proved that the nature of independence exists in the axiomatic system of Group 、 Euclidean space 、 distance space and topological space.
本文证明了：群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。 - The address forms in appellative system are of metasemiotic features just like the primitives in an axiomatic system.
称谓系统中的称谓词如同公理系统中的初始元，在语言系统中充当元符号的角色； - Axiomatic System of Local Variable Weight
局部变权的公理体系 - A Model of the Axiomatic System ∑ in Particle Geometry
平面质点几何公理系统∑的一个模型 - ZHOU BI SUAN JING, the Exclusive Axiomatic System in Ancient China
《周髀算经》&中国古代唯一的公理化尝试 - Axiomatic system of filter operator of fuzzy information
模糊信息过滤算子的公理化体系 - General equilibrium theory is considered as a starting point in building axiomatic logical system and it is used to powerfully analyze and explain real economic problems with introduction of additional term of institution frame.
一般均衡理论是人们试图建立公理化逻辑体系的出发点，用均衡理论分析现实经济问题，只要有一个制度框架强附加条件的配合，便能增强理论的阐释力。 - The Boolean valued model of the conglomerate axiomatic system
聚合公理系统的布尔值模型 - In order to increase the maneuverability of the method, some theories such as fuzzy math theory, axiomatic design and value analysis have been introduced in the model of assessment system. Distributed knowledgebase and database model have been also discussed in detailed.
运用模糊层次分析法、公理性设计和价值分析方法，建立船舶绿色度系统分析评估模型，建立绿色船舶分布式数据库和知识库模型。 - The paper presents a model of the axiomatic system ∑ in the particle geometry in the ordinary space.
在通常的直观空间中给出平面质点几何学公理系统∑的一个模型。 - The paper presents a final solution for the independence of the axiomatic system of the vector space, and so is of some basic significance in theory.
本文最后解决了向量空间公理系统独立性的问题，这在理论上有一定意义。 - It is indicated that serial cost pricing meets all the axioms in the homogeneous axiomatic system except monotony of cost function, control of demand and consistency.
在同质模型的前提下，序列成本定价满足除去成本函数单调性、一致性和需求可控性之外的所有公理特性要求。 - The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.
一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。 - In this paper the inconsistency of Howard proof rules is pointed out and it is shown that there does not exist any consistent and complete normal Hoare axiomatic system for proving monitors.
本文讨论管程（Monitor）的验证技术。指出了Howard的证明规则是不一致的，并证明了不存在验证管程的一致和完全的正规Hoare系统。 - For the fuzzy group decision making problem, in which the preference patterns of both individual and group are fuzzy, the majority fuzzy rule is provided. Its propositions and relationships with the fuzzy preference axiomatic system are analyzed.
对于决策个体和决策群体的偏爱均为模糊结构的群体决策问题，建立了较多模糊偏爱数规则，并研究了它的性质和满足模糊偏爱公理系的情况。 - Reasons to replace two axioms of original axiomatic system by two new axioms in new axiomatic system are expounded, at the same time, their scientific character and rationality are explained.
阐明了新体系中用两条新公理替代原体系中的两条公理的理由及其科学性、合理性。 - Axiomatic System of State Variable Weights and Construction of Balance Functions
状态变权的公理化体系和均衡函数的构造 - The axiomatic design of object-oriented software system ( AD O-OSS) is a new design method that adapts to design large software system.
面向对象软件系统的公理法设计（ADo-oSS）是将公理法设计（AD）原理用于大型系统软件设计的一种新方法。 - New mathematical axiomatic system of fuzzy sets and systems
关于模糊集与系统的一个新的数学公理系统的研究 - A Research on Determining the Axiomatic System of Environmental Quality Index
确定环境质量指数公理化体系的研究 - Using operator to model constraints, this paper researches such abstract operator logic, analyzes its syntax, semantics, axiomatic system, its natural deduction system and its normalized natural deduction system, provide the theoretical foundation for constrict analysis of hierarchy system.
研究了抽象算子逻辑，并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础。 - So based on these two reasonable improvement requirements this dissertation puts forward two new axiomatic theories of truth TKF system and LKF system.
所以基于这两点合理的改进需求，本文提出了两个新的公理化真理论TKF系统和LKF系统。 - And made a right to a basic factor of the theory of axiomatic system. Finally, the author carried out the theory of weights applied research.
并且提出了权系数理论的一个基本公理化体系。最后，作者进行了权系数理论的应用性研究。 - The process of Quality function deployment and the structure of house of quality are analyzed in detail. The integrated model of axiomatic design with QFD is established and expatiated on the integrated system implement process.
深入分析了质量功能配置的配置过程和质量屋的结构，建立了公理化设计与质量功能配置集成系统模型，并详细阐述了集成系统的实施过程。 - On the basis of definition and analysis to product design from Axiomatic Design viewpoint, by determining product design module and software design flowchart, the rapid design system framework of product Axiomatic Design based on CAD software is achieved. 2.
在对产品从公理化角度进行定义和分析的基础上，通过确定产品公理化设计模块及软件设计流程，建立了基于CAD软件的车床公理化设计系统框架。 - Therefore, this paper then discussed the two axiomatic system of the philosophy of the current development trend, and in accordance with this trend predicted by these two different based on the axiomatic system integration possibilities.
本文随后又讨论了这两种公理化体系的哲学思想目前的发展趋势，并根据这种趋势首次预言了这两种基于不同哲学思想的公理化体系融合的可能性。 - In the axiomatic system of logic, which is concerned with the classical calculus of propositions, it is uneasy to start the verification based only on the axiomatic and reasonable rules, especially for the beginners in this field.
在经典命题逻辑的常见公理系统中，仅以公理和推理规则为工具进行定理的形式证明，往往不易找到证明的出发点，对于初学者而言尤为困难。